rel{-}immediate($T$; $R$)($x$,$y$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$($R$($x$,$y$)) $\wedge$ ($\forall$$z$:$T$. $\neg$(($R$($x$,$z$)) $\wedge$ ($R$($z$,$y$))))